More from this Author

Verification and Evaluation of Computer and Communication Systems

by Kamel Barkaoui (Editor), Hanifa Boucheneb (Editor), Ali Mili (Editor), Sofiene Tahar (Editor)

Theorem Proving in Higher Order Logics

by Otmane Ait Mohamed (Editor), Cesar Munoz (Editor), Sofiene Tahar (Editor)

Theorem Proving in Higher Order Logics

by Victor A. Carreno (Editor), Cesar A. Munoz (Editor), Sofiene Tahar (Editor)